ECL[2]
Environment Constraint Language
Vive S Kumar, University of Saskatchewan, 1995
A language to express the constraints or logical conditions to be satisfied by a Metaview software specification database.